منابع مشابه
May I check your cap?
Modernizing a classic technique to study microtubules has revealed that the stability of a microtubule is related to its growth rate.
متن کاملMay I check the English of your paper!!!
This paper reports about our work in the HOO shared task 2011. The task is to automatically correct the English of a given document. For that, we have developed a hybrid system of a statistical CRF based model along with a rule-based technique has been used. The system has been trained on the HOO shared task training datasets and run on the test set given by the organizer of HOO. We have submit...
متن کاملStop! Check your initial assumptions
At times, leaping from one patient management routine to an alternative one may be required to mitigate medical errors. "Frozen patient management" is the resultant situation, when, in the face of an obvious gap between the expected and the actual phenomena, leaping from current patient management to an alternative one is not considered or done. Frozen patient management can lead to a significa...
متن کاملMay I borrow your logic ? ( Transporting logical structures along
It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting mechanized reasoning in a given logic, it may be possible to reuse a system dcveloped for one logic for example, a theorem-prover to obtain a new system for another. Translations between logics by appropri...
متن کاملMay I Borrow Your Logic? (Transporting Logical Structures Along Maps)
It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting mechanized reasoning in a given logic, it may be possible to reuse a system developed for one logic|for example, a theorem-prover|to obtain a new system for another. Translations between logics by appropri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: eLife
سال: 2016
ISSN: 2050-084X
DOI: 10.7554/elife.15570